Model Checking

Tractable Temporal Reasoning

Model Checking / Temporal Resolution / Multi Agent System / Spatial and Temporal Reasoning / Temporal Logic

Real-Time Maude 2.1

Cognitive Science / Model Checking / Formal Analysis / Rewriting Logic / Computer Software / Real Time Systems / Real Time / Object Oriented / Simulation Model / Hybrid System / Real Time Systems / Real Time / Object Oriented / Simulation Model / Hybrid System

A Formal Methodology to Specify E-commerce Systems

Model Checking / Process Control / Symbolic Computation / Formal methods / Design process / Formal Specification / Formal method / Formal Verification / Application development / Concurrency Control / Boolean Satisfiability / E Commerce / Electronic Commerce / Symbolic Model Checking / Formal Specification / Formal method / Formal Verification / Application development / Concurrency Control / Boolean Satisfiability / E Commerce / Electronic Commerce / Symbolic Model Checking

A Probabilistic Model for Molecular Systems

Model Checking / Enzymatic Activity / Transition Systems / Probabilistic Algorithm / Probabilistic Model

Temporal Process Discovery in Many Guises

Artificial Intelligence / Data Mining / Model Checking / Temporal Data Mining / Cell Division / Process Modeling / Temporal Processing / Artificial Intelligent / Data Center / Signal Reconstruction / Process Model / Computer / Cell Division Cycle / Engineering System / Process Modeling / Temporal Processing / Artificial Intelligent / Data Center / Signal Reconstruction / Process Model / Computer / Cell Division Cycle / Engineering System

A Temporal Logic of Normative Systems

Model Checking / Deontic Logic / Multi Agent System / Indexation / Symbolic Representation of Drugs / Temporal Logic / Symbolic Model Checking / Temporal Logic / Symbolic Model Checking

Logic for Automated Mechanism Design - A Progress Report

Computational Economics / Model Checking / Mechanism Design / Social Choice / Incomplete Information / Optimal Reactive Power System

Logic for Automated Mechanism Design - A Progress Report

Computational Economics / Model Checking / Mechanism Design / Social Choice / Incomplete Information / Optimal Reactive Power System

A temporal logic of normative systems

Model Checking / Deontic Logic / Multi Agent System / Indexation / Symbolic Representation of Drugs / Temporal Logic / Symbolic Model Checking / Temporal Logic / Symbolic Model Checking

Integer Polyhedra for Program Analysis

Abstract Interpretation / Model Checking / Program Analysis / LINEAR PROGRAM

Copyright © 2017 DADOSPDF Inc.